void writeln(string);
